Section: Scientific Foundations

Advanced Introductions to Abstract Interpretation

A recent, short, informal, and intuitive introduction to the theory of abstract interpretation can be found in [33] , see also “Abstract Interpretation in a Nutshell ” (http://www.di.ens.fr/~cousot/AI/IntroAbsInt.html ) on the web. A more comprehensive introduction is available online  (http://www.di.ens.fr/~cousot/AI/ ). The paper entitled “Basic concepts of abstract interpretation ” [34] and an elementary “course on abstract interpretation ” (http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/ ) can also be found on the web.